121. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog
پدیدآورنده : Bening, Lionel
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers
رده :
TK
7874
.
75
.
B47
122. Processor design :
پدیدآورنده : edited by Jari Nurmi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application-specific integrated circuits.,Field programmable gate arrays.,Systems on a chip.,Application-specific integrated circuits.,Field programmable gate arrays.,Ingénierie.,Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
P76
2007eb
123. Professional verificatio
پدیدآورنده : / Paul Wilcox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits, Verification,Electronic books., local
رده :
TK7874
.
58
.
W55
,
2004eb
124. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits , Verification,Integrated circuits , Design and construction,Electronic books. , local
رده :
E-BOOK
125. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
E-BOOK
126. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7874
.
58
.
W55
2004
127. Reasoning in Boolean networks
پدیدآورنده : / by Wolfgang Kunz and Dominik Stoffel
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Integrated circuits, Very large scale integration, Testing, Data processing,Integrated circuits, Verification, Data processing,Logic design, Data processing
رده :
TK7874
.
K866
1997
128. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
129. Reasoning in boolean networks : logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: (طهران)
موضوع : Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design
رده :
TK
7874
.
K866
1997
130. Reconfigurable RF and Wireless Architectures Using Ultra-stable Micro- and Nano-electromechanical Oscillators:
پدیدآورنده : Islam, Mohammad Saiful
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electrical engineering
131. Reconfigurable RF and Wireless Architectures Using Ultra-stable Micro- and Nano-electromechanical Oscillators: Emerging Devices, Circuits, and Systems
پدیدآورنده : Islam, Mohammad Saiful
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electrical engineering
132. Simulation Techniques and Solutions for Mixed-Signal Coupling in Integrated Circuits
پدیدآورنده : by Nishath K. Verghese, Timothy J. Schmerbeck, David J. Allstot.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Systems engineering.
133. Standardized functional verification
پدیدآورنده : Wiemann, Alan.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Integrated circuits --Verification,، Circuits inte gre s --Ve rification
134. Step-by-step functional verification with SystemVerilog and OVM /
پدیدآورنده : by Iman Sasan
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Integrated circuits-- Verification,Verilog (Computer hardware description language)
135. Surrogate-Based Modeling and Optimizatio
پدیدآورنده : / edited by Slawomir Koziel, Leifur Leifsson
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science, Mathematics,Mathematical optimization,Astronautics,Electronic books
رده :
E-BOOK
136. System-on-chip :
پدیدآورنده : edited by Bashir M. Al-Hashimi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
رده :
TK7895
.
E42
S976
2006eb
137. System specification and design languages
پدیدآورنده : / Tom J. Kaazmierski, Adam Morawiec, editors
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
رده :
TK7885
.
7
.
F35
2012
138. System specification and design languages
پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
139. System specification & design languages :
پدیدآورنده : edited by Eugenio Villar, Jean Mermet.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
رده :
TK7885
.
7
E358
2003
140. System verilog for verification :a guide to learning the testbench language features
پدیدآورنده : Spear, Chris.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Verilog )Computer hardware description language(,Verification ، Integrated circuits
رده :
TK
7885
.
7
.
S67
